package tarantula.experiment.jdkutils;

import junit.framework.TestCase;

public class JDKFailedUnsimplifiedTestsBug1 extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Object[] var3 = var2.toArray();
	    java.lang.Long var4 = new java.lang.Long(10L);
	    java.lang.Boolean var5 = new java.lang.Boolean(true);
	    java.util.NavigableSet var6 = var2.headSet((java.lang.Object)var4, (boolean)var5);
	    java.util.NavigableSet var7 = var2.descendingSet();
	    java.lang.Integer var8 = new java.lang.Integer(10);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    java.util.List var10 = java.util.Collections.nCopies((int)var8, (java.lang.Object)var9);
	    java.lang.Object var11 = java.util.Collections.max((java.util.Collection)var10);
	    java.lang.Byte var12 = new java.lang.Byte((byte)1);
	    java.util.List var13 = java.util.Collections.singletonList((java.lang.Object)var12);
	    java.util.TreeSet var14 = new java.util.TreeSet((java.util.Collection)var13);
	    java.lang.Object[] var15 = var14.toArray();
	    java.lang.Long var16 = new java.lang.Long(10L);
	    java.lang.Boolean var17 = new java.lang.Boolean(true);
	    java.util.NavigableSet var18 = var14.headSet((java.lang.Object)var16, (boolean)var17);
	    java.util.NavigableSet var19 = var2.tailSet(var11, (boolean)var17);
	    java.util.SortedSet var20 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var19);
	    
	    // Checks the contract:  var20.equals(var20)
	    assertTrue("Contract failed: var20.equals(var20)", var20.equals(var20));

	  }

	  public void test2() throws Throwable {

	    java.util.TreeSet var0 = new java.util.TreeSet();
	    java.lang.Byte var1 = new java.lang.Byte((byte)1);
	    java.util.List var2 = java.util.Collections.singletonList((java.lang.Object)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.Collection)var2);
	    java.lang.Object var4 = var3.clone();
	    boolean var5 = var0.add((java.lang.Object)var3);
	    java.util.SortedSet var6 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var0);
	    
	    // Checks the contract:  var6.equals(var6)
	    assertTrue("Contract failed: var6.equals(var6)", var6.equals(var6));

	  }

	  public void test3() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(10.0d);
	    java.lang.Byte var1 = new java.lang.Byte((byte)1);
	    java.util.List var2 = java.util.Collections.singletonList((java.lang.Object)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.Collection)var2);
	    java.lang.Object[] var4 = var3.toArray();
	    java.lang.Long var5 = new java.lang.Long(10L);
	    java.lang.Boolean var6 = new java.lang.Boolean(true);
	    java.util.NavigableSet var7 = var3.headSet((java.lang.Object)var5, (boolean)var6);
	    var3.clear();
	    java.util.Map var9 = java.util.Collections.singletonMap((java.lang.Object)var0, (java.lang.Object)var3);
	    java.util.Comparator var10 = java.util.Collections.reverseOrder();
	    java.util.TreeSet var11 = new java.util.TreeSet(var10);
	    java.lang.Integer var12 = new java.lang.Integer(10);
	    java.lang.Integer var13 = new java.lang.Integer(0);
	    java.util.List var14 = java.util.Collections.nCopies((int)var12, (java.lang.Object)var13);
	    java.lang.Integer var15 = new java.lang.Integer(10);
	    java.lang.Integer var16 = new java.lang.Integer(0);
	    java.util.List var17 = java.util.Collections.nCopies((int)var15, (java.lang.Object)var16);
	    int var18 = java.util.Collections.lastIndexOfSubList(var14, var17);
	    java.util.Comparator var19 = java.util.Collections.reverseOrder();
	    java.util.Comparator var20 = java.util.Collections.reverseOrder(var19);
	    java.lang.Object var21 = java.util.Collections.min((java.util.Collection)var14, var19);
	    int var22 = java.util.Collections.frequency((java.util.Collection)var11, (java.lang.Object)var19);
	    boolean var23 = var3.equals((java.lang.Object)var22);
	    java.util.SortedSet var24 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var3);
	    java.lang.Byte var25 = new java.lang.Byte((byte)1);
	    java.util.List var26 = java.util.Collections.singletonList((java.lang.Object)var25);
	    java.util.TreeSet var27 = new java.util.TreeSet((java.util.Collection)var26);
	    java.lang.Object var28 = var27.clone();
	    java.lang.Object var29 = var27.pollFirst();
	    java.util.Set var30 = java.util.Collections.synchronizedSet((java.util.Set)var27);
	    java.util.List var31 = java.util.Collections.singletonList((java.lang.Object)var27);
	    boolean var32 = var3.add((java.lang.Object)var31);
	    
	    // Checks the contract:  var24.equals(var24)
	    assertTrue("Contract failed: var24.equals(var24)", var24.equals(var24));

	  }

	  public void test4() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Object[] var3 = var2.toArray();
	    java.lang.Long var4 = new java.lang.Long(10L);
	    java.lang.Boolean var5 = new java.lang.Boolean(true);
	    java.util.NavigableSet var6 = var2.headSet((java.lang.Object)var4, (boolean)var5);
	    java.util.Collection var7 = java.util.Collections.unmodifiableCollection((java.util.Collection)var6);
	    java.util.SortedSet var8 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var6);
	    
	    // Checks the contract:  var8.equals(var8)
	    assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8));

	  }
}
